翻訳と辞書 Words near each other ・ linear address space ・ linear argument ・ linear assignment ・ linear function ・ linear graph notation ・ linear logic ・ linear map ・ linear programming ・ linear space ・ linear transformation ・ linear type ・ lines of code ・ lines per minute ・ lingo ・ lingol ・ link ・ link access procedure on the d channel ・ link access protocol balanced ・ link access protocol for modems ・ link control protocol Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク linear type ： FOLDOC linear type 1. An attribute of values which are used exactly once: they are neither duplicated nor destroyed. Such values require no garbage collection, and can safely be updated in place, even if they form part of a data structure. Linear types are related to the linear logic of J.-Y Girard. They extend Schmidt's notion of {single threading}, provide an alternative to Hudak and Bloss' {update analysis}, and offer a practical complement to Lafont and Holmstrm's elegant {linear languages}. ['Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading, Henry Baker. {(ftp://ftp.netcom.com/pub/hb/hbaker/Use1Var.html)}]. ["Linear types can change the world!", Philip Wadler, "Programming Concepts and Methods", April 1990, eds. M. Broy, C. Jones, pub. North-Holland, IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel]. (1995-03-03) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.